1

Most homeomorphisms of the circle are semiperiodic

Year:
1995
Language:
english
File:
PDF, 415 KB
english, 1995
2

A Model-Theoretic Proof for P ≠ NP over All Infinite Abelian Groups

Year:
2002
Language:
english
File:
PDF, 128 KB
english, 2002
3

Non-effective Quantifier Elimination

Year:
2001
Language:
english
File:
PDF, 126 KB
english, 2001
4

P ≠ NP for all infinite Boolean algebras

Year:
2003
Language:
english
File:
PDF, 106 KB
english, 2003
6

P≠NP for the Reals with Various Analytic Functions

Year:
2001
Language:
english
File:
PDF, 139 KB
english, 2001
7

Self-similar carpets over finite fields

Year:
2009
Language:
english
File:
PDF, 3.20 MB
english, 2009
8

Two situations with unit-cost: ordered abelian semi-groups and some commutative rings

Year:
2005
Language:
english
File:
PDF, 220 KB
english, 2005
9

Diophantine properties of finite commutative rings

Year:
2003
Language:
english
File:
PDF, 178 KB
english, 2003
11

The Thue–Morse–Pascal double sequence and similar structures

Year:
2011
Language:
english
File:
PDF, 2.13 MB
english, 2011
12

-affine recurrent -dimensional sequences over are -automatic

Year:
2013
Language:
english
File:
PDF, 3.64 MB
english, 2013
14

A two-valued recurrent double sequence that is not automatic

Year:
2014
Language:
english
File:
PDF, 331 KB
english, 2014
15

An Isomorphism between Monoids of External Embeddings about Definability in Arithmetic

Year:
2002
Language:
english
File:
PDF, 445 KB
english, 2002
16

Structure with Fast Elimination of Quantifiers

Year:
2006
Language:
english
File:
PDF, 720 KB
english, 2006
19

RECURRENT DOUBLE SEQUENCES THAT CAN BE PRODUCED BY CONTEXT-FREE SUBSTITUTIONS

Year:
2010
Language:
english
File:
PDF, 730 KB
english, 2010
21

Structure with fast elimination of quantifiers

Year:
2006
Language:
english
File:
PDF, 655 KB
english, 2006
22

An isomorphism between monoids of external embeddings: About definability in arithmetic

Year:
2002
Language:
english
File:
PDF, 1.34 MB
english, 2002
23

A model-theoretic proof for P ≠ NP over all infinite abelian group

Year:
2002
Language:
english
File:
PDF, 373 KB
english, 2002
27

A growth model based on the arithmetic Z-game

Year:
2016
Language:
english
File:
PDF, 1.51 MB
english, 2016
29

An Undecidable Property of Recurrent Double Sequences

Year:
2008
Language:
english
File:
PDF, 318 KB
english, 2008
30

The exponential diophantine problem for ℚ

Year:
2020
File:
PDF, 292 KB
2020